TSTP Solution File: DAT315^1 by Nitpick---2016